(deftemplate multime 
    (slot nume)
    (multislot elemente)
    (slot submultime-a-lui(default null))
)

(assert (multime (nume A)(elemente 1 2 3 4 5)(submultime-a-lui C)))
(assert (multime (nume B)(elemente albastru verde galben rosu negru)))
(assert (multime (nume C)(elemente x>=0)(submultime-a-lui R)))

(facts)